extern int output(void);
